<?php

class HttpException extends Exception
{
}

?>